using Kopernikus.Collections.Generic;

namespace Kopernikus.Parsing
{
    public interface IGrammarProductions
    {
        Set<Production> SententialProductions { get; }
        Set<Production> NullableProductions { get; }
        Set<Production> GetProductionsByLHS(Symbol s);
        Set<Production> GetProductionsByRHS(Symbol s);
        Production GetNullableProductionByLHS(Symbol symbol);
    }
}